Code generation - PDFSEARCH.IO - Document Search Engine

Code generation
Results: 433

#	Item
101	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
102	Monte Carlo – Uniform distributions ● Write a small code to generate random numbers using the RANDU algorithm: With m = 231, a=65539, X0=1, c=0 Add to Reading List Source URL: cp3.irmp.ucl.ac.be Language: English - Date: 2012-09-28 10:39:41 Probability distribution Inductive reasoning Measurement Probability and statistics Pseudorandom number generators Radioactivity Randomness Information theory Random number generation
103	T-EMU 2.0: The Next Generation LLVM Based Micro-Processor Emulator Dr. Mattias Holm <> ● Add to Reading List Source URL: llvm.org Language: English - Date: 2015-05-07 11:28:28 Virtual machines Emulator Programming language implementation Binary translation QEMU LLVM OVPsim LEON Machine code System software Software Compilers
104	Standards for Interconnecting Distributed Generation ATTACHMENT 2 Certificate of Completion for Simplified Process Interconnections Installation Information: Add to Reading List Source URL: www.nationalgridus.com Language: English - Date: 2013-08-14 01:52:30 Electrical wiring ZIP code Electromagnetism Fax Mail Power cables Technology Email
105	IMT-2000 MC-CDMA System ARIB STANDARD / ARIB Technical Report Add to Reading List Source URL: www.arib.or.jp Language: English - Date: 2015-01-04 22:23:00 OSI protocols Mobile telecommunications Videotelephony CDMA2000 Software-defined radio 3rd Generation Partnership Project 2 3G Association of Radio Industries and Businesses Code division multiple access Technology Electronic engineering
106	TSV1Digital Video Broadcasting (DVB); Implementation guidelines for a second generation digital terrestrial television broadcasting system (DVB-T2) Add to Reading List Source URL: www.etsi.org Language: English - Date: 2012-08-29 05:10:42 DVB-T2 Broadcasting DVB-T Orthogonal frequency-division multiplexing Digital Video Broadcasting Low-density parity-check code Interleaving European Telecommunications Standards Institute Error detection and correction DVB Electronic engineering Broadcast engineering
107	Microsoft Word - REV-ARTdoc Add to Reading List Source URL: www.currentscience.ac.in Language: English - Date: 2015-05-18 06:52:38 Compiler optimizations Software Programming language implementation Peephole optimization Code generation Superoptimization Compiler Program optimization Stack machine Software engineering Compiler construction Computing
108	HN9460 Satellite Router IPv6/IPv4 Ready Dual Ka-/Ku-band high-throughput satellite router with advanced adaptive LDPC coding The Hughes HN9460 is a new-generation, dual Ka-/Ku-band Add to Reading List Source URL: www.hughes.com.br Language: English - Date: 2013-06-10 12:23:23 Information theory Network architecture DVB Coding theory Low-density parity-check code DVB-S2 Satellite Internet access Throughput Virtual Router Redundancy Protocol Network performance Error detection and correction Electronic engineering
109	Amit Purohit, Vinay Kariwala, Saurabh Deshpande, C&O INCRC/MATLAB Expo, August 21, 2013 Advanced control and optimization on PLC using code generation © ABB 08 August 2013 Add to Reading List Source URL: www.matlabexpo.com Language: English - Date: 2013-08-26 05:53:20 Engineering Automation Chemical engineering ABB Asea Brown Boveri ABB Group Companies listed on the New York Stock Exchange Programmable logic controller Model predictive control Process control Technology Science Control theory
110	Cellular Networking Perspectives Editor: Add to Reading List Source URL: usphoenix.net Language: English - Date: 2009-02-15 20:04:47 Videotelephony Universal Mobile Telecommunications System Code division multiple access Mobile telecommunications IP Multimedia Subsystem Multimedia 3GPP 3rd Generation Partnership Project 2 CDMA2000 Technology Electronic engineering Mobile technology

UPDATE